Peter Cholak: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

On the Strength of Ramsey's Theorem for Pairs

Peter A. Cholak, Carl G. Jockusch and Theodore A. Slaman

Journal:

Journal of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 1.10 MB

english, 2001

2

Automorphisms of the Lattice of Recursively Enumerable Sets: Promptly Simple Sets

Peter Cholak, Rod Downey and Michael Stob

Journal:

Transactions of the American Mathematical Society

Year:

1992

Language:

english

File:

PDF, 1.65 MB

english, 1992

3

Reverse mathematics and infinite traceable graphs

Peter Cholak, David Galvin, Reed Solomon

Journal:

Mathematical Logic Quarterly

Year:

2012

Language:

english

File:

PDF, 173 KB

english, 2012

4

On the orbits of computably enumerable sets

Cholak, Peter A., Downey, Rodney, Harrington, Leo A.

Journal:

Journal of the American Mathematical Society

Year:

2008

Language:

english

File:

PDF, 418 KB

english, 2008

5

Subsystems of Second Order Arithmeticby Stephen G. Simpson

Review by: Peter Cholak

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 104 KB

english, 1999

6

Extension theorems, orbits, and automorphisms of the computably enumerable sets

Cholak, Peter A., Harrington, Leo A.

Journal:

Transactions of the American Mathematical Society

Year:

2007

File:

PDF, 453 KB

2007

7

Extension Theorems, Orbits, and Automorphisms of the Computably Enumerable Sets

Peter A. Cholak and Leo A. Harrington

Journal:

Transactions of the American Mathematical Society

Year:

2008

Language:

english

File:

PDF, 3.02 MB

english, 2008

8

On the Orbits of Computably Enumerable Sets

Peter A. Cholak, Rodney Downey and Leo A. Harrington

Journal:

Journal of the American Mathematical Society

Year:

2008

Language:

english

File:

PDF, 2.79 MB

english, 2008

9

Automorphisms of the Lattice of Π01Classes; Perfect Thin Classes and ANC Degrees

Peter Cholak, Richard Coles, Rod Downey and Eberhard Herrmann

Journal:

Transactions of the American Mathematical Society

Year:

2001

Language:

english

File:

PDF, 2.97 MB

english, 2001

10

Permutations and Presentations

Peter Cholak and Rod Downey

Journal:

Proceedings of the American Mathematical Society

Year:

1994

Language:

english

File:

PDF, 333 KB

english, 1994

11

Corrigendum to: “On the strength of Ramsey's Theorem for pairs”

Cholak, Peter A., Jockusch, Carl G., Slaman, Theodore A.

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 278 KB

english, 2009

12

[Contemporary Mathematics] Computability Theory and Its Applications Volume 257 || Issues and problems in reverse mathematics

Cholak, Peter A., Lempp, Steffen, Lerman, Manuel, Shore, Richard A.

Year:

2000

Language:

english

File:

PDF, 2.37 MB

english, 2000

13

INVARIANCE AND NONINVARIANCE IN THE LATTICE OF $\Pi_1^0$ CLASSES

CHOLAK, PETER A., DOWNEY, ROD

Journal:

Journal of the London Mathematical Society

Year:

2004

Language:

english

File:

PDF, 200 KB

english, 2004

14

The Notre Dame Lectures || Weak fragments of Peano Arithmetic

Year:

2016

File:

PDF, 381 KB

2016

15

Strong jump-traceability I: The computably enumerable case

Peter Cholak, Rod Downey, Noam Greenberg

Journal:

Advances in Mathematics

Year:

2008

Language:

english

File:

PDF, 302 KB

english, 2008

16

ON THE DEFINABILITY OF THE DOUBLE JUMP IN THE COMPUTABLY ENUMERABLE SETS

CHOLAK, PETER A., HARRINGTON, LEO A.

Journal:

Journal of Mathematical Logic

Year:

2002

Language:

english

File:

PDF, 484 KB

english, 2002

17

Some orbits for E

Peter Cholak, Rod Downey, Eberhard Herrmann

Journal:

Annals of Pure and Applied Logic

Year:

2001

Language:

english

File:

PDF, 252 KB

english, 2001

18

Corrigendum to: "On the Strength of Ramsey's Theorem for Pairs"

Peter A. Cholak, Carl G. Jockusch, Jr. and Theodore A. Slaman

Journal:

Journal of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 257 KB

english, 2009

19

On -tardy sets

Peter A. Cholak, Peter M. Gerdes, Karen Lange

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 359 KB

english, 2012

20

[Contemporary Mathematics] Computability Theory and Its Applications Volume 257 || Towards an analog of Hilbert’s tenth problem for a number field

Cholak, Peter A., Lempp, Steffen, Lerman, Manuel, Shore, Richard A.

Year:

2000

Language:

english

File:

PDF, 1.72 MB

english, 2000

21

Computably enumerable sets that are automorphic to low sets

Cholak, Peter, Epstein, Rachel

Journal:

Year:

2016

File:

PDF, 266 KB

2016

22

[Contemporary Mathematics] Computability Theory and Its Applications Volume 257 || Extensions, automorphisms, and definability

Cholak, Peter A., Lempp, Steffen, Lerman, Manuel, Shore, Richard A.

Year:

2000

Language:

english

File:

PDF, 3.51 MB

english, 2000

23

Maximal Contiguous Degrees

Peter Cholak, Rod Downey and Stephen Walk

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 638 KB

english, 2002

24

Computably categorical structures and expansions by constants

Cholak, Peter, Goncharov, Sergey, Khoussainov, Bakhadyr, Shore, Richard A.

Journal:

Journal of Symbolic Logic

Year:

1999

Language:

english

File:

PDF, 1.63 MB

english, 1999

25

The Rado path decomposition theorem

Cholak, Peter A., Igusa, Gregory, Patey, Ludovic, Soskova, Mariya I., Turetsky, Dan

Journal:

Israel Journal of Mathematics

Year:

2019

Language:

english

File:

PDF, 238 KB

english, 2019

26

Lattice nonembeddings and intervals of the recursively enumerable degrees

Peter Cholak, Rod Downey

Journal:

Annals of Pure and Applied Logic

Year:

1993

Language:

english

File:

PDF, 2.02 MB

english, 1993

27

Boolean Algebras and Orbits of the Lattice of R.E. Sets Modulo the Finite Sets

Journal:

Journal of Symbolic Logic

Year:

1990

Language:

english

File:

PDF, 459 KB

english, 1990

28

Genericity for Mathias forcing over general Turing ideals

Peter A. Cholak,Damir D. Dzhafarov,Mariya I. Soskova

Journal:

Israel Journal of Mathematics

Year:

2016

Language:

english

File:

PDF, 267 KB

english, 2016

29

An Almost Deep Degree

Peter Cholak, Marcia Groszek and Theodore Slaman

Journal:

Journal of Symbolic Logic

Year:

2001

Language:

english

File:

PDF, 415 KB

english, 2001

30

On the Cantor-Bendixon rank of recursively enumerable sets

Cholak, Peter, Downey, Rod

Journal:

Journal of Symbolic Logic

Year:

1993

Language:

english

File:

PDF, 883 KB

english, 1993

31

Atomlessr-maximal sets

Peter A. Cholak, André Nies

Journal:

Israel Journal of Mathematics

Year:

1999

Language:

english

File:

PDF, 789 KB

english, 1999

32

Generics for computable Mathias forcing

Cholak, Peter A., Dzhafarov, Damir D., Hirst, Jeffry L., Slaman, Theodore A.

Journal:

Annals of Pure and Applied Logic

Year:

2014

Language:

english

File:

PDF, 558 KB

english, 2014

33

${\cal D}$-MAXIMAL SETS

CHOLAK, PETER A., GERDES, PETER, LANGE, KAREN

Journal:

Journal of Symbolic Logic

Year:

2015

Language:

english

File:

PDF, 316 KB

english, 2015

34

Uniform almost everywhere domination

Cholak, Peter, Greenberg, Noam, Miller, Joseph S.

Journal:

Journal of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 1.15 MB

english, 2006

35

The Complexity of Orbits of Computably Enumerable Sets

Peter A. Cholak, Rodney Downey and Leo A. Harrington

Journal:

Bulletin of Symbolic Logic

Year:

2008

Language:

english

File:

PDF, 2.72 MB

english, 2008

36

Maximal contiguous degrees

Cholak, Peter, Downey, Rod, Walk, Stephen

Journal:

Journal of Symbolic Logic

Year:

2002

Language:

english

File:

PDF, 2.02 MB

english, 2002

37

DENSITY-1-BOUNDING AND QUASIMINIMALITY IN THE GENERIC DEGREES

CHOLAK, PETER, IGUSA, GREGORY

Journal:

Journal of Symbolic Logic

Year:

2017

Language:

english

File:

PDF, 323 KB

english, 2017

38

The Notre Dame Lectures || Preface

Year:

2016

File:

PDF, 36 KB

2016

39

Definable Encodings in the Computably Enumerable Sets

Cholak, Peter A., Harrington, Leo A.

Journal:

Bulletin of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 372 KB

english, 2000

40

The Notre Dame Lectures || Countable models and the theory of Borel equivalence relations

Year:

2016

File:

PDF, 386 KB

2016

41

Iterated relative recursive enumerability

Peter A. Cholak, Peter G. Hinman

Journal:

Archive for Mathematical Logic

Year:

1994

Language:

english

File:

PDF, 1.32 MB

english, 1994

42

A computably stable structure with no Scott family of finitary formulas

Peter Cholak, Richard A. Shore, Reed Solomon

Journal:

Archive for Mathematical Logic

Year:

2006

Language:

english

File:

PDF, 248 KB

english, 2006

43

Uniform Almost Everywhere Domination

Peter Cholak, Noam Greenberg and Joseph S. Miller

Journal:

Journal of Symbolic Logic

Year:

2006

Language:

english

File:

PDF, 1.35 MB

english, 2006

44

The Notre Dame Lectures || Model theory of difference fields

Year:

2016

File:

PDF, 507 KB

2016

45

The Notre Dame Lectures || Some computability-theoretic aspects of reals and randomness

Year:

2016

File:

PDF, 546 KB

2016

46

Reverse Mathematics and the Equivalence of Definitions for Well and Better Quasi-Orders

Peter Cholak, Alberto Marcone and Reed Solomon

Journal:

Journal of Symbolic Logic

Year:

2004

Language:

english

File:

PDF, 3.57 MB

english, 2004

47

[ACM Press the fifth annual workshop - Pittsburgh, Pennsylvania, United States (1992.07.27-1992.07.29)] Proceedings of the fifth annual workshop on Computational learning theory - COLT '92 - Degrees of inferability

Cholak, Peter, Kinber, Efim, Downey, Rod, Kummer, Martin, Fortnow, Lance, Kurtz, Stuart, Gasarch, William, Slaman, Theodore A.

Year:

1992

Language:

english

File:

PDF, 1.23 MB

english, 1992

48

Reverse mathematics and the equivalence of definitions for well and better quasi-orders

Cholak, Peter, Marcone, Alberto, Solomon, Reed

Journal:

Journal of Symbolic Logic

Year:

2004

Language:

english

File:

PDF, 2.07 MB

english, 2004

49

The translation theorem

Journal:

Archive for Mathematical Logic

Year:

1994

Language:

english

File:

PDF, 1.26 MB

english, 1994

50

[Contemporary Mathematics] Computability Theory and Its Applications Volume 257 || Finitely axiomatizable theories and Lindenbaum algebras of semantic classes

Cholak, Peter A., Lempp, Steffen, Lerman, Manuel, Shore, Richard A.

Year:

2000

Language:

english

File:

PDF, 1.96 MB

english, 2000

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски